Evaluation of Kermeta for Solving Graph-based Problems

Kermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper,\ud we show that Kermeta is relatively suitable for solving three graph-based\ud problems. First, Kermeta allows the specification of generic model\ud transformations such as refactorings that we apply to different metamodels\ud including Ecore, Java, and Uml. Second, we demonstrate the extensibility\ud of Kermeta to the formal language Alloy using an inter-language model\ud transformation. Kermeta uses Alloy to generate recommendations for\ud completing partially specified models. Third, we show that the Kermeta\ud compiler achieves better execution time and memory performance compared\ud to similar graph-based approaches using a common case study. The\ud three solutions proposed for those graph-based problems and their\ud evaluation with Kermeta according to the criteria of genericity,\ud extensibility, and performance are the main contribution of the paper.\ud Another contribution is the comparison of these solutions with those\ud proposed by other graph-based tools

Optimizing the flux coupling between a nanoSQUID and a magnetic particle using atomic force microscope nanolithography

We present results of Niobium based SQUID magnetometers for which the weak-links are engineered by the local oxidation of thin films using an Atomic Force Microscope (AFM). Firstly, we show that this technique allows the creation of variable thickness bridges with 10 nm lateral resolution. Precise control of the weak-link milling is offered by the possibility to realtime monitor weak-link conductance. Such a process is shown to enhance the magnetic field modulation hence the sensitivity of the magnetometer. Secondly, AFM lithography is used to provide a precise alignment of NanoSQUID weak-links with respect to a ferromagnetic iron dot. The magnetization switching of the near-field coupled particle is studied as a junction of the applied magnetic field direction

Proposal for an integrated silicon-photonics terahertz gas detector using photoacoustics

A design and multiphysical model is presented for an on-chip gas sensor that transduces terahertz gas absorption through sound generation into a mechanical motion that can be read out externally. The signal is triply enhanced by designing a structure that functions simultaneously as an optical, an acoustical and a mechanical resonator. The structure is made in high-resistivity silicon and can be fabricated using CMOS and HEMS fabrication technologies. The sensor is a purely passive element, so an external THz source and read-out are required. The chip has a footprint of 3 mm(2). A detection limit of 234 ppb of methanol for a source power of 1 mW and an integration time of 1 ms is predicted. (C) 2020 Optical Society of America under the terms of the OSA Open Access Publishing Agreemen

Evaluation of Kermeta on Graph Transformation Problems

International audienceKermeta is a meta-language for specifying the structure and behavior of graphs of interconnected objects called models. In this paper, we show that Kermeta is relatively suitable for solving three graph-based problems. First, Kermeta allows the specification of generic model transformations such as refactorings that we apply to different metamodels including Ecore, Java, and Uml. Second, we demonstrate the extensibility of Kermeta to the formal language Alloy using an inter-language model transformation. Kermeta uses Alloy to generate recommendations for completing partially specified models. Third, we show that the Kermeta compiler achieves better execution time and memory performance compared to similar graph-based approaches using a common case study. The three solutions proposed for those graph-based problems and their evaluation with Kermeta according to the criteria of genericity, extensibility, and performance are the main contribution of the paper. Another contribution is the comparison of these solutions with those proposed by other graph-based tools

The Cosmic Ultraviolet Baryon Survey (CUBS) I. Overview and the diverse environments of Lyman limit systems at z<1

We present initial results from the Cosmic Ultraviolet Baryon Survey (CUBS). CUBS is designed to map diffuse baryonic structures at redshift z<~1 using absorption-line spectroscopy of 15 UV-bright QSOs with matching deep galaxy survey data. CUBS QSOs are selected based on their NUV brightness to avoid biases against the presence of intervening Lyman Limit Systems (LLSs) at zabs~ 17.2 over a total redshift survey pathlength of dz=9.3, and a number density of n(z)=0.43 (-0.18, +0.26). Considering all absorbers with log N(HI)/cm^-2 > 16.5 leads to n(z)=1.08 (-0.25, +0.31) at z<1. All LLSs exhibit a multi-component structure and associated metal transitions from multiple ionization states such as CII, CIII, MgII, SiII, SiIII, and OVI absorption. Differential chemical enrichment levels as well as ionization states are directly observed across individual components in three LLSs. We present deep galaxy survey data obtained using the VLT-MUSE integral field spectrograph and the Magellan Telescopes, reaching sensitivities necessary for detecting galaxies fainter than 0.1L* at d<~300 physical kpc (pkpc) in all five fields. A diverse range of galaxy properties is seen around these LLSs, from a low-mass dwarf galaxy pair, a co-rotating gaseous halo/disk, a star-forming galaxy, a massive quiescent galaxy, to a galaxy group. The closest galaxies have projected distances ranging from d=15 to 72 pkpc and intrinsic luminosities from ~0.01L* to ~3L*. Our study shows that LLSs originate in a variety of galaxy environments and trace gaseous structures with a broad range of metallicities.Comment: 26 pages, 14 figures, MNRAS in pres

Searching for THz Gunn oscillations in GaN planar nanodiodes

A detailed study of GaN-based planar asymmetric nanodiodes, promising devices for the fabrication of room temperature THz Gunn oscillators, is reported. By using Monte Carlo simulations, an analysis of the static I-V curves and the time-domain evolution of the current obtained when varying some simulation parameters in the diodes has been made. Oscillation frequencies of hundreds of GHz are predicted by the simulations in diodes with micrometric channel lengths. Following simulation guidelines, a first batch of diodes was fabricated. It was found that surface charge depletion effects are stronger than expected and inhibit the onset of the oscillations. Indeed, a simple standard constant surface charge model is not able to reproduce experimental measurements and a self-consistent model must be included in the simulations. Using a self-consistent model, it was found that to achieve oscillations, wider channels and improved geometries are necessary.ROOTHz (FP7-243845

The Grizzly, May 3, 1994

Spring Fling \u2794 • SERV Finishes Busy Semester • Alpha Sigma Nu Sponsors MS Walk-a-thon • A Bitter Farewell • Spade: A Waste • A Belated Farewell • Senior Spotlights: Cynthia Babcock; Erika Compton • Summer \u2794 Entertainment Preview • Concerts • The 1994 Phillies: What a Differencehttps://digitalcommons.ursinus.edu/grizzlynews/1338/thumbnail.jp

Experimental demonstration of direct terahertz detection at room-temperature in AlGaN/GaN asymmetric nanochannels

The potentialities of AlGaN/GaN nanodevices as THz detectors are analyzed. Nanochannels with broken symmetry (so called Self Switching Diodes) have been fabricated for the first time in this material system using both recess-etching and ion implantation technologies. The responsivities of both types of devices have been measured and explained using Monte Carlo simulations and non linear analysis. Sensitivities up to 100 V/W is obtained at 0.3 THz with a 280 pW/sqrt(Hz) Noise Equivalent Power.ROOTHz (FP7-243845

The Grizzly, February 22, 1994

Breaking Down the Barriers: One Man\u27s Struggle with Homosexuality, Stereotypes and the Military • Maintenance Man, Humanitarian • Pledging Private Eyes • Pledging Underway Once Again • Olympic Update • Are There Really any Losers in the Olympics? • Ursinus Students Raise Money for a Friend in Need • And When the Sawdust Cleared...It Was a Masterpiece • Come out and Support a U.C. Senior • Restaurant Night Revisited • Senior Spotlight: Joshua Donald Carter • Clinton: King of Astro Turf • Learn by Listening to Yourself • Sports Picture Page: The Two Hottest Teams Around • Baseball Preview \u2794 • Lady Bears are Eastern Division Champshttps://digitalcommons.ursinus.edu/grizzlynews/1331/thumbnail.jp